Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?
1

Model-Checking Linear-Time Properties of Quantum Systems

Année:
2014
Langue:
english
Fichier:
PDF, 359 KB
english, 2014
2

Distinguishability of Quantum States by Separable Operations

Année:
2009
Langue:
english
Fichier:
PDF, 267 KB
english, 2009
5

An algebra of quantum processes

Année:
2009
Langue:
english
Fichier:
PDF, 248 KB
english, 2009
7

Quantum programming: From theories to implementations

Année:
2012
Langue:
english
Fichier:
PDF, 416 KB
english, 2012
9

Model checking quantum Markov chains

Année:
2013
Langue:
english
Fichier:
PDF, 357 KB
english, 2013
12

Multiple-copy entanglement transformation and entanglement catalysis

Année:
2005
Langue:
english
Fichier:
PDF, 119 KB
english, 2005
14

Symbolic Bisimulation for Quantum Processes

Année:
2014
Langue:
english
Fichier:
PDF, 1.23 MB
english, 2014
19

Quantum operation, quantum Fourier transform and semi-definite programming

Année:
2004
Langue:
english
Fichier:
PDF, 209 KB
english, 2004
20

Unambiguous discrimination of mixed quantum states

Année:
2006
Langue:
english
Fichier:
PDF, 155 KB
english, 2006
21

Universal and original-preserving quantum copying is impossible

Année:
2002
Langue:
english
Fichier:
PDF, 37 KB
english, 2002
23

Quantum loop programs

Année:
2010
Langue:
english
Fichier:
PDF, 377 KB
english, 2010
25

Commutativity of quantum weakest preconditions

Année:
2007
Langue:
english
Fichier:
PDF, 146 KB
english, 2007
26

Proof rules for the correctness of quantum programs

Année:
2007
Langue:
english
Fichier:
PDF, 350 KB
english, 2007
27

Spherical nonlinear pulses for the solutions of nonlinear wave equations II, nonlinear caustic

Année:
2007
Langue:
english
Fichier:
PDF, 252 KB
english, 2007
29

Probabilistic bisimulations for quantum processes

Année:
2007
Langue:
english
Fichier:
PDF, 478 KB
english, 2007
31

Parameter Estimation of Quantum Channels

Année:
2008
Langue:
english
Fichier:
PDF, 358 KB
english, 2008
32

A Flowchart Language for Quantum Programming

Année:
2011
Langue:
english
Fichier:
PDF, 1.40 MB
english, 2011
34

An Algebraic Language for Distributed Quantum Computing

Année:
2009
Langue:
english
Fichier:
PDF, 311 KB
english, 2009
37

Recommendation algorithm based on item quality and user rating preferences

Année:
2014
Langue:
english
Fichier:
PDF, 557 KB
english, 2014
39

Doxorubicin

Année:
2013
Langue:
english
Fichier:
PDF, 128 KB
english, 2013
40

Diatrizoate meglumine

Année:
2013
Langue:
english
Fichier:
PDF, 128 KB
english, 2013
41

Entanglement is Not Necessary for Perfect Discrimination between Unitary Operations

Année:
2007
Langue:
english
Fichier:
PDF, 122 KB
english, 2007
43

Perfect Distinguishability of Quantum Operations

Année:
2009
Langue:
english
Fichier:
PDF, 101 KB
english, 2009
44

Probabilistic bisimulations for quantum processes

Année:
2007
Langue:
english
Fichier:
PDF, 462 KB
english, 2007
45

Verification of quantum programs

Année:
2013
Langue:
english
Fichier:
PDF, 497 KB
english, 2013
50

Local Distinguishability of Multipartite Unitary Operations

Année:
2008
Langue:
english
Fichier:
PDF, 121 KB
english, 2008